Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
361	MECHANISM DESIGN BY AN INFORMED PRINCIPAL: THE QUASI-LINEAR PRIVATE-VALUES CASE ¨ TYMOFIY MYLOVANOV AND THOMAS TROGER Abstract. We show that, in environments with independent private values and transferable utility, a p Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-12-20 07:05:51 Mechanism design Pareto efficiency Roger Myerson Principal Outcome Normal-form game Game theory Economics Problem solving
362	Blocked Clause Elimination and its Extensions Marijn J. H. Heule∗ joint work with Matti J¨arvisalo and Armin Biere Abstract Boolean satisfiability (SAT) has become a core technology in many application Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:16:51 NP-complete problems Conjunctive normal form Automated theorem proving Boolean satisfiability problem Resolution Logic programming 2-satisfiability Theoretical computer science Mathematics Applied mathematics
363	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
364	Sage Reference Manual: Game Theory Release 6.6.beta0 The Sage Development Team February 21, 2015 Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:21 Mathematical analysis Cooperative game Shapley value Sage Vector space Monotonic function Normal-form game Game theory Algebra Mathematics
365	Custom HoloKote and Custom HoloKote Flex application form For the Magicard Rio Pro printer. 1 HoloKote is an anti-counterfeit watermark logo that is imprinted on the card during the normal print cycle. Custom HoloKote u Add to Reading List Source URL: www.idzone.com Language: English - Date: 2011-02-04 15:03:30 Computer programming Computing Communication design Logos Software engineering
366	1997-Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:20:44 Automated theorem proving Boolean algebra Logic in computer science Logic programming Resolution Rewriting Clausal normal form Valuation Propositional calculus Logic Mathematical logic Mathematics
367	PDF Document Add to Reading List Source URL: www.repairfaq.org Language: English - Date: 2013-01-01 08:49:58 First normal form IN2
368	MIT EECS[removed]FALL[removed]LECTURE NOTES BY A. MEGRETSKI Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-13 22:35:19 Linear map Vector space Matrix Bilinear map Basis Operator Quadratic form Normal distribution Singular value decomposition Algebra Mathematics Linear algebra
369	On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas ˇ ˇ Ondˇrej Cepek and Stefan Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-12-21 14:10:02 Logic in computer science Boolean algebra Complexity classes NP-complete problems Conjunctive normal form Computational problems 2-satisfiability Boolean satisfiability problem Disjunctive normal form Theoretical computer science Computational complexity theory Applied mathematics
370	F02 – Eigenvalues and Eigenvectors F02SDF NAG Library Routine Document F02SDF Add to Reading List Source URL: www.nag.com Language: English - Date: 2013-01-25 10:45:15 Numerical linear algebra Matrix theory Matrices Inverse iteration Eigenvalues and eigenvectors Matrix Jordan normal form Symmetric matrix Algebra Linear algebra Mathematics

UPDATE